Openai O3, Deepseek-V3, And The Brundage/Marcus Ai Bet